Euclid’s Postulate Problem 1